Florentin Ipate: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots

Wang, Xueyuan, Zhang, Gexiang, Neri, Ferrante, Jiang, Tao, Zhao, Junbo, Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca

Journal:

Integrated Computer-Aided Engineering

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

2

Qualitative and Quantitative Analysis of Systems and Synthetic Biology Constructs using P Systems

Konur, Savas, Gheorghe, Marian, Dragomir, Ciprian, Mierla, Laurentiu, Ipate, Florentin, Krasnogor, Natalio

Journal:

ACS Synthetic Biology

Year:

2015

Language:

english

File:

PDF, 1.62 MB

english, 2015

3

Complete Functional Testing of Safety Critical Systems

Holcombe, Mike, Ipate, Florentin, Grondoudis, Andreas

Journal:

IFAC Proceedings Volumes

Year:

1995

Language:

english

File:

PDF, 1.76 MB

english, 1995

4

Kernel P systems: From modelling to verification and testing

Gheorghe, Marian, Ceterchi, Rodica, Ipate, Florentin, Konur, Savas, Lefticaru, Raluca

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 456 KB

english, 2017

5

Specification and testing using generalized machines: a presentation and a case study

Florentin Ipate, Mike Holcombe

Journal:

Software Testing, Verification and Reliability

Year:

1998

Language:

english

File:

PDF, 135 KB

english, 1998

6

Testing Non-deterministic Stream X-machine Models and P systems

Florentin Ipate, Marian Gheorghe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 314 KB

english, 2009

7

Testing against a non-controllable stream X-machine using state counting

Florentin Ipate

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 286 KB

english, 2006

8

Testing data processing-oriented systems from stream X-machine models

Florentin Ipate, Mike Holcombe

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 579 KB

english, 2008

9

Bounded sequence testing from deterministic finite state machines

Florentin Ipate

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 543 KB

english, 2010

10

Complete deterministic stream X-machine testing

Florentin Ipate

Journal:

Formal Aspects of Computing

Year:

2004

Language:

english

File:

PDF, 155 KB

english, 2004

11

Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine

Robert M. Hierons, Florentin Ipate

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 380 KB

english, 2008

12

Generating Test Sets from Non-Deterministic Stream X-Machines

Florentin Ipate, Mike Holcombe

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 172 KB

english, 2000

13

Testing Conditions for Communicating Stream X-machine Systems

Florentin Ipate, Mike Holcombe

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 182 KB

english, 2002

14

Testing (Stream) X-machines

Florentin Ipate, Marian Gheorghe, Mike Holcombe

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2003

Language:

english

File:

PDF, 201 KB

english, 2003

15

An Integrated Refinement and Testing Method for Stream X-machines

Florentin Ipate, Mike Holcombe

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2002

Language:

english

File:

PDF, 297 KB

english, 2002

16

Finite state based testing of P systems

Florentin Ipate, Marian Gheorghe

Journal:

Natural Computing

Year:

2009

Language:

english

File:

PDF, 378 KB

english, 2009

17

An empirical evaluation of P system testing techniques

Raluca Lefticaru, Marian Gheorghe, Florentin Ipate

Journal:

Natural Computing

Year:

2011

Language:

english

File:

PDF, 344 KB

english, 2011

18

Learning finite cover automata from queries

Florentin Ipate

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 391 KB

english, 2012

19

Test generation from P systems using model checking

Florentin Ipate, Marian Gheorghe, Raluca Lefticaru

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 194 KB

english, 2010

20

[IEEE 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2008.09.26-2008.09.29)] 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing

Lefticaru, Raluca, Ipate, Florentin

Year:

2008

Language:

english

File:

PDF, 706 KB

english, 2008

21

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Automatic State-Based Test Generation Using Genetic Algorithms

Lefticaru, Raluca, Ipate, Florentin

Year:

2007

Language:

english

File:

PDF, 978 KB

english, 2007

22

[IEEE 2007 5th IEEE International Conference on Industrial Informatics - Vienna, Austria (2007.06.23-2007.06.27)] 2007 5th IEEE International Conference on Industrial Informatics - W-method for Hierarchical and Communicating Finite State Machines

Ipate, Florentin, Banica, Logica

Year:

2007

Language:

english

File:

PDF, 227 KB

english, 2007

23

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Search-based Testing using State-based Fitness

Lefticaru, Raluca, Ipate, Florentin

Year:

2008

Language:

english

File:

PDF, 115 KB

english, 2008

24

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Towards Search-Based Testing for Event-B Models

Stefanescu, Alin, Ipate, Florentin, Lefticaru, Raluca, Tudose, Cristina

Year:

2011

Language:

english

File:

PDF, 146 KB

english, 2011

25

An integration testing method that is proved to find all faults

Ipate, Florentin, Holcombe, Mike

Journal:

International Journal of Computer Mathematics

Year:

1997

Language:

english

File:

PDF, 959 KB

english, 1997

26

[IEEE 2009 Fourth International Conference on Bio-Inspired Computing (BIC-TA) - Beijing, China (2009.10.16-2009.10.19)] 2009 Fourth International on Conference on Bio-Inspired Computing - Solving satisfiability problems with membrane algorithms

Zhang, Gexiang, Liu, Chunxiu, Gheorghe, Marian, Ipate, Florentin

Year:

2009

Language:

english

File:

PDF, 561 KB

english, 2009

27

3-Col problem modelling using simple kernel P systems

Gheorghe, Marian, Ipate, Florentin, Lefticaru, Raluca, Pérez-Jiménez, Mario J., Ţurcanu, Adrian, Valencia Cabrera, Luis, García-Quismondo, Manuel, Mierlă, Laurenţiu

Journal:

International Journal of Computer Mathematics

Year:

2013

Language:

english

File:

PDF, 367 KB

english, 2013

28

[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Class Testing from State Diagrams Using Stream X-Machine Based Methods

Ipate, Florentin

Year:

2007

Language:

english

File:

PDF, 183 KB

english, 2007

29

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Computational Properties of Two P Systems Solving the 3-colouring Problem

Turcanu, Adrian, Ipate, Florentin

Year:

2012

Language:

english

File:

PDF, 227 KB

english, 2012

30

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Functional Search-based Testing from State Machines

Lefticaru, Raluca, Ipate, Florentin

Year:

2008

Language:

english

File:

PDF, 646 KB

english, 2008

31

A method for refining and testing generalised machine specifications

Ipate, Florentin, Holcombe, Mike

Journal:

International Journal of Computer Mathematics

Year:

1998

Language:

english

File:

PDF, 847 KB

english, 1998

32

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - State-based Testing is Functional Testing

Ipate, Florentin, Lefticaru, Raluca

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

33

[IEEE 2009 Fourth Balkan Conference in Informatics - Thessaloniki, Greece (2009.09.17-2009.09.19)] 2009 Fourth Balkan Conference in Informatics - Automated Model Design Using Genetic Algorithms and Model Checking

Lefticaru, Raluca, Ipate, Florentin, Tudose, Cristina

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

34

FORMAL VERIFICATION OF P SYSTEMS USING SPIN

IPATE, FLORENTIN, LEFTICARU, RALUCA, TUDOSE, CRISTINA

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 199 KB

english, 2011

35

[IEEE 2010 Sixth International Conference on Natural Computation (ICNC) - Yantai, China (2010.08.10-2010.08.12)] 2010 Sixth International Conference on Natural Computation - A particle swarm optimization based on P systems

Zhou, Fen, Zhang, Gexiang, Rong, Haina, Gheorghe, Marian, Cheng, Jixiang, Ipate, Florentin, Lefticaru, Raluca

Year:

2010

Language:

english

File:

PDF, 327 KB

english, 2010

36

[IEEE 2014 IEEE International Conference on High Performance Computing and Communications (HPCC), 2014 IEEE 6th International Symposium on Cyberspace Safety and Security (CSS) and 2014 IEEE 11th International Conference on Embedded Software and Systems (ICESS) - Paris, France (2014.8.20-2014.8.22)] 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) - High Performance Simulations of Kernel P Systems

Bakir, Mehmet E., Konur, Savas, Gheorghe, Marian, Niculescu, Ionut, Ipate, Florentin

Year:

2014

Language:

english

File:

PDF, 376 KB

english, 2014

37

[IEEE 2014 14th UK Workshop on Computational Intelligence (UKCI) - Bradford, UK (2014.9.8-2014.9.10)] 2014 14th UK Workshop on Computational Intelligence (UKCI) - Crowd formal modelling and simulation: The Sa'yee ritual

Sakellariou, Ilias, Kurdi, Omar, Gheorghe, Marian, Romano, Daniela, Kefalas, Petros, Ipate, Florentin, Niculescu, Ionut

Year:

2014

Language:

english

File:

PDF, 527 KB

english, 2014

38

[IEEE 2015 IEEE 17th International Conference on High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS) and 2015 IEEE 12th International Conf on Embedded Software and Systems (ICESS) - New York, NY, USA (2015.8.24-2015.8.26)] 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems - Agent-Based High-Performance Simulation of Biological Systems on the GPU

Konur, Savas, Kiran, Mariam, Gheorghe, Marian, Burkitt, Mark, Ipate, Florentin

Year:

2015

Language:

english

File:

PDF, 761 KB

english, 2015

39

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - State-based Testing is Functional Testing

Ipate, Florentin, Lefticaru, Raluca

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

40

A unified integration and component testing approach from deterministic stream X-machine specifications

Ipate, Florentin, Dranidis, Dimitris

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

41

Testing based on identifiable P Systems using cover automata and X-machines

Gheorghe, Marian, Ipate, Florentin, Konur, Savas

Journal:

Information Sciences

Year:

2016

Language:

english

File:

PDF, 702 KB

english, 2016

42

[IEEE 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2016.9.24-2016.9.27)] 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Hybrid Test Generation Approach Based on Extended Finite State Machines

Turlea, Ana, Ipate, Florentin, Lefticaru, Raluca

Year:

2016

Language:

english

File:

PDF, 242 KB

english, 2016

43

Further results on generalised communicating P systems

Krishna, Shankara Narayanan, Gheorghe, Marian, Ipate, Florentin, Csuhaj-Varjú, Erzsébet, Ceterchi, Rodica

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 874 KB

english, 2017

44

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions

Stoenescu, Teodor, Stefanescu, Alin, Predut, Sorina, Ipate, Florentin, Aman, Bogdan, Kleijn, Jetty, Koutny, Maciej, Lucanu, Dorel

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 497 KB

english, 2017

45

[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm

Turlea, Ana, Ipate, Florentin, Lefticaru, Raluca

Year:

2017

Language:

english

File:

PDF, 264 KB

english, 2017

46

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Generating Complex Paths for Testing from an EFSM

Turlea, Ana, Ipate, Florentin, Lefticaru, Raluca

Year:

2018

File:

PDF, 8 KB

2018

47

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Generating Complex Paths for Testing from an EFSM

Turlea, Ana, Ipate, Florentin, Lefticaru, Raluca

Year:

2018

File:

PDF, 8 KB

2018

48

Contributions to Fractal Inteligences

Grigore, Dumitru, Paraschiv, Ruxandra, Ipate, Iulioan, Chivulescu, Florentin

Journal:

SSRN Electronic Journal

Year:

2015

Language:

english

File:

PDF, 569 KB

english, 2015

49

Search-based testing in membrane computing

Ţurlea, Ana, Gheorghe, Marian, Ipate, Florentin, Konur, Savas

Journal:

Journal of Membrane Computing

Year:

2019

File:

PDF, 1.46 MB

2019

50

kPWorkbench: A software suit for membrane systems

Konur, Savas, MierlÄ, LaurenÅ£iu, Ipate, Florentin, Gheorghe, Marian

Journal:

Year:

2020

File:

PDF, 813 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски